Logic in computer science - PDFSEARCH.IO - Document Search Engine

Logic in computer science
Results: 2713

#	Item
51	On Rewriting Terms with Strict Functions and Error Propagation Olaf Owe Department of Informatics University of Oslo September 1990 Add to Reading List Source URL: folk.uio.no Language: English - Date: 2014-04-01 05:47:01 Theoretical computer science Mathematics Programming language theory Logic in computer science Mathematical logic Asymptotic analysis Logic programming Type theory Unification Rewriting Rewrite order Term
52	Grading Rubric – Project 1 – Final Report, Source Code, and In-Class Presentation Name(s): Project Topic: CATEGORY Source Code: Add to Reading List Source URL: ecs-network.serv.pacific.edu Language: English Algorithm Mathematical logic Theoretical computer science
53	Hinge-Loss Markov Random Fields and Probabilistic Soft Logic arXiv:1505.04406v2 [cs.LG] 9 DecStephen H. Bach∗ Matthias Broecheler† Bert Huang‡ Lise Getoor§ Add to Reading List Source URL: stephenbach.net Language: English - Date: 2015-12-16 16:04:19 Logic Graphical models Mathematics Mathematical logic Structured prediction Markov random field Probability theory Non-classical logic Logic in computer science Bayesian network Random field Fuzzy logic
54	Composing ComposingContracts: contracts: An Adventure in Financial Engineering Add to Reading List Source URL: www.cs.uu.nl Language: English - Date: 2001-11-22 11:58:10 Lambda calculus Quantum mechanics Combinatory logic Logic in computer science Futures contract Forward contract Government procurement in the United States Derivative Observable
55	TECHNISCHE UNIVERSITÄT MÜNCHEN FAKULTÄT FÜR INFORMATIK Software & Systems Engineering Prof. Dr. Dr. h.c. Manfred Broy SPES 2020 Deliverable D1.2.B-1 Add to Reading List Source URL: spes2020.informatik.tu-muenchen.de Language: English - Date: 2012-03-07 09:24:09 Computing Software engineering Technology Formal methods Product development Project management Scientific modeling Logic in computer science Software development Information model Modeling language Entityrelationship model
56	GeoInformatica 6:2, 99±121, 2002 # 2002 Kluwer Academic Publishers. Manufactured in The Netherlands. Vagueness and Rough Location THOMAS BITTNER Department of Computer Science, Northwestern University, USA Add to Reading List Source URL: www.thomasebittner.com Language: English - Date: 2012-04-30 16:06:48 Philosophy Logic Metaphysics Ontology Philosophy of language Semantics Cartography Geography Spatial analysis Mereology Indeterminacy Vagueness
57	The Threat of Algocracy: Reality, Resistance and Accommodation By John Danaher Forthcoming in Philosophy and Technology Abstract Add to Reading List Source URL: philpapers.org Language: English Cognitive science Academia Cybernetics Science and technology Formal sciences Algorithm Mathematical logic Theoretical computer science Big data Machine learning Legitimacy Artificial intelligence
58	Logical Methods in Computer Science Vol. 11(3:7)2015, pp. 1–33 www.lmcs-online.org Submitted May 17, 2014 Published Sep. 3, 2015 Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2016-02-19 10:54:23 Logic Mathematical logic Proof theory Abstraction Non-classical logic Logic in computer science Philosophical logic Model theory Sequent CurryHoward correspondence Intuitionistic logic Cut-elimination theorem
59	On Skolemization in constructive theories Matthias Baaz∗ Rosalie Iemhoff Inst. for Discrete Math. and Geometry E104 Add to Reading List Source URL: www.phil.uu.nl Language: English - Date: 2008-02-06 05:45:02 Logic Mathematical logic Abstraction Model theory Proof theory Predicate logic Logic in computer science Philosophical logic Skolem normal form Herbrandization First-order logic Intuitionistic logic